$l$[$i$] $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$hd(nth\_tl($i$;$l$))